Semantics for the Specification of Asynchronous Communicating Systems (SACS)
نویسندگان
چکیده
The objective of the paper is to describe the formal definitions for the Specification of Asynchronous Communicating System (SACS). This is a process algebra which is a descendent of the synchronous variant of Calculus of Communicating Systems (CCS) known as Synchronous Calculus of Communicating Systems (SCCS). To this end, we present Structured Operational Semantics (SOS) for the constructs of SACS using Labelled Transition Systems (LTS) in order to describe the behaviour of the processes. Also, we discuss the semantic equivalences for SACS, especially bisimulation, which provides a method for verifying the behaviour of a specified process.
منابع مشابه
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
Hardware process calculi, such as Chp (Communicating Hardware Processes), Balsa, or Haste (formerly Tangram), are a natural approach for the description of asynchronous hardware architectures. These calculi are extensions of standard process calculi with particular synchronisation features implemented using handshake protocols. In this article, we first give a structural operational semantics f...
متن کاملDLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems
Distributed Asynchronous systems are a collection of sequential processes communicating over mostly unreliable communication channels. Asynchronous Distributed Systems have the following properties: There exists no bounds on the relative speeds of processes, neither are there any bounds on message delays. Such systems rule out the possibility of processes accessing synchronized local clocks; i....
متن کاملAsynchronous Router Specification - IEEE Aerospace and Electronics Systems Magazine
We describe the application of three formal design tools to a case study in the design of a distributed system. The case study in question involves the specification of an asynchronous message router; the three design tools are process algebra (specifically Milner’s Calculus of Communicating Systems CCS), the modal p-calculus and the Edinburgh Concurrency Workbench (CWB). We demonstrate how an ...
متن کاملTowards a Framework for the Distributed Simulation of Asynchronous Hardware
Synchronous VLSI design is approaching a critical point, with clock distribution becoming an increasingly costly and complicated issue and power consumption rapidly emerging as a major concern. The last decade has witnessed a resurgence of interest in asynchronous logic which promises to liberate digital design from the inherent problems of synchronous systems. This activity has revealed a need...
متن کاملMapping UML Component Specifications to JEE Implementations
Component-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is ...
متن کامل